{-# LANGUAGE TemplateHaskell #-}

module TestGroups () where

import Group
import Group.Z

-- $(mkGroup Natural Infinity Multiplicative)
-- $(mkGroup Natural (Order 10) Additive)
$(mkGroup Integer (Order 7) Additive)
-- $(mkGroup Real (Order 14) Additive)
